Knihy od autora Alexander Leitsch

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Automated Model Building

   Ricardo Caferra, Alexander Leitsch, Nicolas Peltier | Springer, 2010

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   154.39 €

   Zľava 7 %

   Ušetríte 12.87 €

   Kúpiť
2. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer Nature B.V., 2014

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   56.95 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
3. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
4. 

   Methods of Cut-Elimination

   Alexander Leitsch, Matthias Baaz | Springer, 2011

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Pevná

   109.36 €

   Kúpiť
5. 

   Methods of Cut-Elimination

   Matthias Baaz, Alexander Leitsch | Springer Netherlands, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.99 €

   Zľava 7 %

   Ušetríte 8.63 €

   Kúpiť
6. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.99 €

   Zľava 7 %

   Ušetríte 8.63 €

   Kúpiť
7. 

   Resolution Methods for the Decision Problem

   C. Fernmüller, Alexander Leitsch, ammet Tanel | Springer, Berlin, 1993

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
8. 

   Resolution Calculus

   Alexander Leitsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   50.58 €

   Zľava 9 %

   Ušetríte 5.39 €

   Kúpiť
9. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer, Berlin, 1997

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť

Doručenie zadarmo pre objednávky nad 59.99 € Zistite viac